[1] Eun-Hye Choi, Takahiro Ando, Hideaki Nishihara, Masahiro Aoki, Keiichi Yoshisaka, Takao Sonoda, Shouichi Hasuike, and Osamu Mizuno, "SENS - Specification Language for Embedded Network Systems - toward Automatic Test Generation (Preliminary Version)", Collaborative Research Team for Verification and Specification, National Institute of Advanced Industrial Science and Technology, 2011.
Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.
ここのリストで表示される文献は，SEL@KIT在籍者に関連するもののみになります．